Two modes of deductive inference.
نویسندگان
چکیده
منابع مشابه
Functional Neuroanatomy of Deductive Inference
-40280 Inferior frontal gyrus (47)3.38-4444-6 Middle frontal gyrus (47)3.06-3424-12 Inferior frontal gyrus (47)2.78-5224-2 Inferior frontal gyrus (47)2.74-3244-6 Middle frontal gyrus (11)3.17-124036 Medial frontal gyrus (8)3.01 Concrete-101640 Cingulate gyrus (32)3.23-12 -96-2...
متن کاملLecture Notes on Deductive Inference
We therefore begin the course with the study of deductive inference. This starting point requires surprisingly little machinery and is sufficient to understand the central idea behind substructural logics, including linear logic. We aim to develop all other concepts and properties of linear logic systematically from this seed. Our approach is quite different from that of Girard [Gir87], whose d...
متن کاملNonmonotonic Modes of Inference
In this paper we investigate nonmonotonic ‘modes of inference’. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic consequence. We consider a particular mode of inference which employs a majority-based account of default reasoning—one which differs from the more familiar preferential accounts—and show how modal logic supplies a framework ...
متن کاملUpdate-driven Inference in Deductive Databases
(Abstract of a one-hour tutorial) 1 Motivation When thinking of deductive databases, most people will probably associate this notion rather closely with problems of query processing: deductive database research is essentially concerned with formalization and implementation of information retrieval in terms of logical inference. This reaction-which seems to come quasi automatically-is probably d...
متن کاملDeductive Nonmonotonic Inference Operations: Antitonic Representations
We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on X (i.e., X ⊆ Y implies S(Y ) ⊆ S(X)). The operations represented are exactly characterized in terms of properties most of which have been studied in [3]. Sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1971
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894215